منابع مشابه
The Strength of Safra’s Construction
Automata on Infinite Words. Automata running on infinite words (such as non-deterministic Büchi automata) provide an established framework for the specification and verification of nonterminating programs (in particular via the model checking technique). However, some of their basic properties are known to require non-trivial reasoning principles. This is most notably the case of closure under ...
متن کاملAdvance Modelling and Simulation of Industrial Boilers
This paper presents some of the results of the simulation in the radiation section of an industrial boiler using an advanced mathematical model. Calculations are described for the flow, heat transfer, and chemical reaction processes occurring within a gas-fired cylindrical furnace. The calculation procedure is a two dimensional one in which the main hydrodynamic variables are the velocity and s...
متن کاملconstruction and validation of translation metacognitive strategy questionnaire and its application to translation quality
like any other learning activity, translation is a problem solving activity which involves executing parallel cognitive processes. the ability to think about these higher processes, plan, organize, monitor and evaluate the most influential executive cognitive processes is what flavell (1975) called “metacognition” which encompasses raising awareness of mental processes as well as using effectiv...
Industrial Combustion Boilers
PROCESS AND TECHNOLOGY STATUS – Combustion boilers are widely used to generate steam for industrial applications and power generation. While all kinds of energy sources fossil fuels, biomass, nuclear and solar energy, electricity can be used to generate heat and steam, the scope of this brief is limited to combustion boilers using fossil fuels and biomass. Boilers can be grouped into two broad ...
متن کاملThe Efficiency of Hybrid BNN-DWT for Predicting the Construction and Demolition Waste Concrete Strength
The current study focuses on two main goals. First, with the use of construction and demolition (C&D) of building materials, a new aggregate was produced and it was utilized for green concrete production. The compressive strength test confirmed the good function of C&DW aggregate concrete. This concrete did not show significant differences with natural sand concrete. Second, Backpropagation neu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1889
ISSN: 0028-0836,1476-4687
DOI: 10.1038/040414b0